Language Programme The programmes offered by the Summer School are based on the requirements of the State Testing System in the Russian Language for Foreigners (TORFL) which is approved by the Ministry of Education of th

Source URL: summerschool.tlu.ee

Rule-based Entity Recognition and Coverage of SNOMED CT in Swedish Clinical Text Maria Skeppstedt1 , Maria Kvist1,2 , Hercules Dalianis1 1 Dept. 2 Dept.

Source URL: lrec.elra.info

• Science
• SNOMED CT
• Systematized Nomenclature of Medicine
• International Health Terminology Standards Development Organisation
• Unified Medical Language System
• Named-entity recognition
• International Statistical Classification of Diseases and Related Health Problems
• Diagnosis codes
• Information extraction
• Medicine
• Medical classification
• Health

RCC working plan based on the RCC events held in 2013 What do we need to do to make the principles behind the quota system feasible and implementable? • modify language, for example change the word quotas to alternativ

Source URL: www.ceeweb.org

JazzScheme: Evolution of a Lisp-Based Development System Guillaume Cartier Louis-Julien Guillemette SFP 2010

Source URL: www.schemeworkshop.org

• Lisp programming language
• Functional languages
• Lisp
• Franz Lisp
• MLisp
• Computing
• Computer programming
• Software engineering

European Workshop on Aircraft Design EducationSimulation Based Optimisation Petter Krus – Linköping University, Sweden Modelling and simulation is of crucial importance for system design and optimisation. In ai

Source URL: www.fzt.haw-hamburg.de

• Operations research
• Simulation
• Scientific modelling
• Hopsan
• Deterministic simulation
• Logic simulation
• Simulation language
• Aimsun
• Electronic engineering
• Digital electronics
• Software

Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal Nicolas Palix Charles Consel INRIA / LaBRI, Talence, France

Source URL: www.diku.dk

• Component-based software engineering
• Inter-process communication
• Object-oriented programming
• CORBA
• Common Object Request Broker Architecture
• Bluetooth
• Service-oriented architecture
• Operating system
• Event
• Computing
• Software engineering
• Technology

An SVG Based Tool for Plane Geometry and Mathematics Education1 Xun Lai, Paul Wang Kent State University, Kent, Ohio, USA Abstract Geometry is an important part of mathematics. Described is a Scalable Vector G

Source URL: icm.mcs.kent.edu

• Computing
• Authoring system
• Web page
• Mathematics education
• Java applet
• Java platform
• Java programming language

T-EMU 2.0: The Next Generation LLVM Based Micro-Processor Emulator Dr. Mattias Holm <> ●

Source URL: llvm.org

• Virtual machines
• Emulator
• Programming language implementation
• Binary translation
• QEMU
• LLVM
• OVPsim
• LEON
• Machine code
• System software
• Software
• Compilers

facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c

Source URL: clip.dia.fi.upm.es

• Science
• Artificial intelligence
• Structure
• Formal concept analysis
• Lattice Miner
• Complete lattice
• Frame language
• Kepler scientific workflow system
• Scientific workflow system
• Lattice theory
• Workflow technology
• Workflow

Security Analysis of Web-based Identity Federation Apurva Kumar IBM Research - India New Delhi, India Email:

Source URL: w2spconf.com

• Computing
• Identity management systems
• Identity management
• Security Assertion Markup Language
• SAML 2.0
• Identity provider
• OpenID
• SAML-based products and services
• Single sign-on
• Computer security
• System software
• Federated identity